1. <A> Roadmap for Formal Property Verification

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Integrated circuits -- Verification,مدار‌های مجتمع -- راستی‌آزمایی

رده :
E-Book
,

2. A roadmap for formal property verificatio

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Integrated circuits--Verification

رده :
TK
,
7874
.
58
,.
D37
,
2006

3. A roadmap for formal property verification

پدیدآورنده :

کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)

موضوع : Integrated circuits -- Verification

رده :
TK
7874
.
58
.
D37
2006

4. A roadmap for formal property verification

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Integrated circuits ; Verification. ;

5. Abstraction refinement for large scale model checking

پدیدآورنده :

کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)

موضوع : Computer systems -- Verification -- Mathematical models,Integrated circuits -- Verification -- Mathematical models,Electronic systems -- Verification -- Mathematical model

رده :
QA
76
.
76
.
V47W36
2006

6. Abstraction refinement for large scale model checking

پدیدآورنده :

کتابخانه: (سمنان)

موضوع : Verification Mathematical models ، Computer systems,Verification Mathematical models ، Integrated circuits,Verification Mathematical models ، Electronic systems

رده :
QA
76
.
76
.
V47W36
2006

7. Advanced verification techniques

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Integrated circuits , Verification,Electronic books. , local

رده :
E-BOOK

8. Advanced verification techniques

پدیدآورنده :

کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)

موضوع : Integrated circuits -- Verification

رده :
TK
7874
.
58
.
S54
2004

9. Applied formal verification

پدیدآورنده :

کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)

موضوع : Integrated circuits -- Verification,Electronic circuits -- Testing

رده :
TK
7874
.
58
.
P47
2005

10. Assertion-Based Design

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language),مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طرح و ساختمان,مدار‌های مجتمع -- راستی‌آزمایی,وریلاگ (زبان توصیفی سخت‌افزار کامپیوتر)

رده :
E-Book
,

11. Assertion-based desig

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Integrated circuits--Very large scale integration--Design and construction,Integrated circuits--Verification,Verilog (Computer hardware description language)

رده :
TK
,
7874
.
75
,
F68
,
2004eb

12. Assertion-based design

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)

رده :
E-BOOK

13. Assertion-based design

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)

رده :
TK7874
.
75
F68
2004

14. Assertion-based design

پدیدآورنده :

کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)

موضوع : Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language)

رده :
TK
7874
.
75
.
F68
2004

15. Authentication of embedded devices :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Integrated circuits ; Verification. ;

16. Co-verification of hardware and software for ARM SoC desig

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Integrated circuits--Verification,Computer software--Verification,Systems on a chip.

رده :
TK
,
7874
,.
A595
,
2005eb

17. Co-verification of hardware and software for ARM SoC design

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، Integrated circuits- Verification,، Computer software- Verification,، Systems on a chip

رده :
TK
7874
.
A595
2005

18. Co-verification of hardware and software for ARM SoC design

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Integrated circuits- Verification,Computer software- Verification,Systems on a chip

رده :
E-BOOK

19. Co-verification of hardware and software for ARM SoC design

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Integrated circuits- Verification,Computer software- Verification,Systems on a chip

رده :
TK7874
.
A595
2005

20. Co-verification of hardware and software for ARM SoC design

پدیدآورنده :

کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)

موضوع : Integrated circuits -- Verification,Computer software -- Verification,Systems on a chip

رده :
TK
7874
.
A595